翻訳と辞書 Words near each other ・ Logic game ・ Logic gate ・ Logic Group of Schools ・ Logic in China ・ Logic in computer science ・ Logic in Islamic philosophy ・ Logic Lane ・ Logic Lane covered bridge ・ Logic learning machine ・ Logic level ・ Logic Made Easy ・ Logic maze ・ Logic model ・ Logic of Argumentation ・ Logic of class ・ Logic of Computable Functions ・ Logic of Empire ・ Logic of graphs ・ Logic of information ・ Logic optimization ・ Logic Pro ・ Logic probe ・ Logic programming ・ Logic Programming Associates ・ Logic puzzle ・ Logic Quest 3D ・ Logic redundancy ・ Logic simulation ・ Logic Spectacles ・ Logic Studio Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Logic of Computable Functions ： ウィキペディア英語版 Logic of Computable Functions Logic of Computable Functions (LCF) is a deductive system for computable functions proposed by Dana Scott in 1969 in a memorandum unpublished until 1993.〔Dana S. Scott. "(A type-theoretical alternative to ISWIM, CUCH, OWHY )". ''Theoretical Computer Science'', 121:411–440, 1993. Annotated version of the 1969 manuscript.〕 It inspired: * Logic for Computable Functions (LCF), theorem proving logic by Robin Milner.〔Robin Milner (1973). "(Models of LCF )"〕 * Programming Computable Functions (PCF), small theoretical programming language by Gordon Plotkin. == References == 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Logic of Computable Functions」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.